Discrete Logarithm 仮定